<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Frameset//EN" "http://www.w3.org/TR/html4/frameset.dtd">
<html lang="en">
<head>
<title>Frege Documentation</title>
<frameset cols="20%,80%" title="Documentation frame">
<frameset rows="30%,70%" title="Left frames">
<frame src="prefix-frame.html" name="prefixes" title="Module Prefixes">
<frame src="frame-All-Modules.html" name="modules" title="All modules">
</frameset>
<frame src="frege/Prelude.html" name="doc" title="Module documentation" scrolling="yes">
<noframes>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<h2>Frame Alert</h2>
<p>This document is designed to be viewed using the frames feature.
If you see this message, you are using a non-frame-capable web client.
Link to <a href="prefix-frame.html">Non-frame version</a>.</p>
</noframes>
</frameset>
</html>
